Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
521	Programs from Proofs IV Programs from Proofs IV Programs from classical proofs via G¨ odel’s dialectica interpretation Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2011-05-27 18:07:14 Metalogic Dialectica interpretation First-order logic Constructible universe Curry–Howard correspondence Binomial coefficient Mathematical logic Proof theory Logic
522	Standard State-Space Models Preclude Unawareness Add to Reading List Source URL: faculty.wcas.northwestern.edu Language: English - Date: 2011-10-02 12:50:54 Philosophical logic Modal logic Non-classical logic Kripke semantics Introspection Epistemology FO Axiom Logic Mathematical logic Mathematics
523	Proceedings of the Third Conference of Mathematical Society of Moldova IMCS-50, August 19-23, 2014, Chisinau, Republic of Moldova On absence of finite approximation relative to model completeness in the propositional pro Add to Reading List Source URL: idsi.md Language: English - Date: 2014-10-08 08:39:39 Non-classical logic Modal logic Philosophical logic Proof theory Provability logic Intuitionistic logic Interpretation Boolean function Boolean algebra Logic Mathematical logic Model theory
524	Probabilistic Programming Andrew D. Gordon Thomas A. Henzinger Aditya V. Nori Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-02-03 11:01:04 Probability and statistics Markov models Non-classical logic Probabilistic logic Markov chain Bayesian network Bernoulli distribution Graphical model Probability distribution Statistics Bayesian statistics Statistical models
525	The Even More Irresistible SROIQ Ian Horrocks, Oliver Kutz, and Ulrike Sattler School of Computer Science, The University of Manchester, Kilburn Building, Oxford Road, Manchester, M13 9PL, UK. {Horrocks, Kutz, Sattler}@c Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2005-12-14 14:49:54 Ontology Non-classical logic Tbox Philosophical logic Algebraic structures Modal logic Description logic Abox Binary relation Mathematics Logic Mathematical logic
526	[removed]Concert Season Save These Exciting Dates!! Fall Classical Concert Saturday, October 11, 2014, 7:00 p.m. Calvary Assembly of God, 1141 East Lebanon Road Holiday Family Concert Add to Reading List Source URL: imageserv11.team-logic.com - Date: 2014-07-25 20:21:33
527	us v. Morton Sobell 14, 1950 Add to Reading List Source URL: media.nara.gov Language: English - Date: 2012-03-21 14:18:30 Modal logic 9 Non-classical logic Max Elitcher Morton Sobell
528	WEST VIRGINIA ROSTER VERIFICATION by Course Code Office of Professional Preparation Add to Reading List Source URL: wvde.state.wv.us Language: English - Date: 2014-11-17 10:34:40 Boolean algebra Classical logic Propositional calculus
529	A Language for Legal Discourse I. Basic Features L. Thorne McCarty Add to Reading List Source URL: logic.stanford.edu Language: English - Date: 2003-10-01 21:36:09 Proof theory Intuitionistic logic Logic programming Negation Prolog Mathematical proof Modal logic First-order logic Sequent Logic Mathematical logic Non-classical logic
530	FUZZY DATA MINING AND GENETIC ALGORITHMS APPLIED TO INTRUSION DETECTION Susan M. Bridges [removed] Rayford B. Vaughn Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2000-11-03 00:00:00 Statistics Fuzzy logic Non-classical logic Mathematics Intrusion detection system Anomaly detection Genetic fuzzy systems Fuzzy control system Artificial intelligence Logic Logic in computer science

UPDATE